Instance Verification Kit (IVK)
mutex lock @ [72535+25+/linux-3.17-rc1/drivers/mtd/chips/cfi_cmdset_0002.c]
Instance Signature: mutex
The Matching Pair Graph:
Function Name
Control Flow Graph (CFG)
Events Flow Graph (EFG)
Source Correspondence
cfi_amdstd_otp_walk
[42874+19+/linux-3.17-rc1/drivers/mtd/chips/cfi_cmdset_0002.c]
cfi_amdstd_reset
[79893+16+/linux-3.17-rc1/drivers/mtd/chips/cfi_cmdset_0002.c]
cfi_amdstd_write_words
[50397+22+/linux-3.17-rc1/drivers/mtd/chips/cfi_cmdset_0002.c]
do_atmel_lock
[70039+13+/linux-3.17-rc1/drivers/mtd/chips/cfi_cmdset_0002.c]
do_atmel_unlock
[71076+15+/linux-3.17-rc1/drivers/mtd/chips/cfi_cmdset_0002.c]
do_erase_chip
[64455+13+/linux-3.17-rc1/drivers/mtd/chips/cfi_cmdset_0002.c]
do_erase_oneblock
[66888+17+/linux-3.17-rc1/drivers/mtd/chips/cfi_cmdset_0002.c]
do_otp_lock
[41260+11+/linux-3.17-rc1/drivers/mtd/chips/cfi_cmdset_0002.c]
do_ppb_xxlock
[72347+13+/linux-3.17-rc1/drivers/mtd/chips/cfi_cmdset_0002.c]
do_read_onechip
[36240+15+/linux-3.17-rc1/drivers/mtd/chips/cfi_cmdset_0002.c]
do_write_buffer
[53286+15+/linux-3.17-rc1/drivers/mtd/chips/cfi_cmdset_0002.c]
do_write_oneword
[47099+16+/linux-3.17-rc1/drivers/mtd/chips/cfi_cmdset_0002.c]
fwh_xxlock_oneblock
[729+19+/linux-3.17-rc1/drivers/mtd/chips/fwh_lock.h]
get_chip
[26208+8+/linux-3.17-rc1/drivers/mtd/chips/cfi_cmdset_0002.c]